Data-Driven Logical Reasoning
نویسندگان
چکیده
The co-existence of heterogeneous but complementary data sources, such as ontologies and databases describing the same domain, is the reality of the Web today. In this paper we argue that this complementarity could be exploited both for discovering the knowledge not captured in the ontology but learnable from the data, and for enhancing the process of ontological reasoning by relying on the combination of formal domain models and evidence coming from data. We build upon our previous work on knowledge discovery from heterogeneous sources of information via association rules mining, and propose a method for automated reasoning on grounded knowledge bases (i.e. knowledge bases linked to data) based on the standard Tableaux algorithm. The proposed approach combines logical reasoning and statistical inference thus making sense of heteroge-
منابع مشابه
Partition-based logical reasoning for first-order and propositional theories
In this paper we provide algorithms for reasoning with partitions of related logical axioms in propositional and first-order logic (FOL). We also provide a greedy algorithm that automatically decomposes a set of logical axioms into partitions. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple knowledge bases that have overlap in content. Second, we...
متن کاملLogic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and semantics defined concretely on the domain of real numbers. Logical constants are interpreted as feature vectors of real numbers. Real Logic promotes a well-fou...
متن کاملRAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure
The paper presents a software tool for analysis and interactive engagement in various logical reasoning tasks. A first feature of the program consists in providing an interface for working with logic-specific repositories of formal knowledge. A second feature provides the means to intuitively visualize and interactively generate the underlying logical structure that propels customary logical re...
متن کاملExpressive Logical Framework for Reasoning about Complex Events and Situations
Business and enterprise management processes become more and more event-driven. Being event-driven means that processes rely on receiving events to monitor the execution progress, and issuing events to initiate its next stages. What is more important, being event-driven enables these processes to become more active and flexible. There is a paradigm shift today from passive processes to active o...
متن کاملHow logical reasoning mediates the relation between lexical quality and reading comprehension.
The present study aimed to examine the role of logical reasoning in the relation between lexical quality and reading comprehension in 146 fourth grade Dutch children. We assessed their standardized reading comprehension measure, along with their decoding efficiency and vocabulary as measures of lexical quality, syllogistic reasoning as measure of (verbal) logical reasoning, and nonverbal reason...
متن کامل